В книге дается доступное и достаточное полное изложение основных разделов математической логики и многих ее приложений. Рассматриваются логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов, теория моделей и аксиоматическая теория множеств. Изложение ясное и лаконичное. Основной текст сопровождается большим числом примеров и упражнений.

Издательство: Наука

Язык: Русский.
Год издания: 1984
Количество страниц: 320 стр.
Формат: стандартный

Переплет: Твердый.

Тираж: 23 000

Дефекты: без особых дефектов